量子位
05-11 07:04
浙大校友用AI突破32年拉姆齐数下界
📌 一句话：浙大校友用AI将拉姆齐数R(5,5)下界从48提升到49，打破32年未突破的僵局。
💡 3个要点
悬而未决：R(5,5)需找最小n使任意红蓝着色必含5点，1989年后下界停步于48
关键突破：下界从48提升到49，32年来首次实质性推进
AI范式：开创AI辅助数学猜想证明的先河，机器学习找到关键结构
📖 背景
拉姆齐数是组合数学“皇冠上的明珠”，R(5,5)问题困扰学界40多年。1989年确定下界为48后，数学家尝试多种方法均未能突破。
💭 点评
这不只是数学的胜利——AI开始反哺基础科学了。长期以来AI被视为应用工具，如今它能指导数学家找到证明的关键结构。浙江大学校友这一成果，预示着一个新时代：AI不再只是计算工具，而是科学发现的协作者。 ---
📡 来源：量子位
📖 原文链接
点击阅读原文 →